Computer algebra system - PDFSEARCH.IO - Document Search Engine

Computer algebra system
Results: 376

#	Item
81	Conversational dynamics: technical notes Logic Colloquium, Berkeley, Finite distributivity. (c _ c0 )[s] = c[s] _ c0 [s] Call any such triple hL, BA , [·]i a van Benthem static conversation system with boolean s Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Theoretical computer science C1 Organofluorides Mathematics Abstract algebra Idempotence
82	PDF Document Add to Reading List Source URL: www.cfar.umd.edu Language: English - Date: 2004-12-06 15:49:42 Abstract algebra Vector calculus Computer vision Analytic geometry Pose Euclidean vector Vector space Cartesian coordinate system Matrix Algebra Mathematics Linear algebra
83	PDF Document Add to Reading List Source URL: cognitrn.psych.indiana.edu Language: English - Date: 2013-11-19 12:06:19 Mathematical notation Computer arithmetic Algebra Data types Elementary arithmetic Operand Floating point Type system Multiplication Mathematics Computing Software engineering
84	Journal of Cryptographic Engineering manuscript No. (will be inserted by the editor) A Preliminary FPGA Implementation and Analysis of Phatak’s Quotient-First Scaling Algorithm in the Reduced-Precision Residue Number S Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-12-18 10:27:44 Computer arithmetic Algebra Residue number system Montgomery reduction Division Algorithm Multiplication algorithm Integer Modular exponentiation Abstract algebra Mathematics Modular arithmetic
85	IEICE TRANS. INF. & SYST., VOL.E84–D, NO.12 DECEMBERINVITED PAPER Add to Reading List Source URL: www.face-rec.org Language: English - Date: 2004-06-01 05:48:36 Vision Singular value decomposition Machine learning Eigenface Computer vision Facial recognition system Face detection Eigenvalues and eigenvectors Computer facial animation Algebra Face recognition Artificial intelligence
86	A Type System for Dynamic Web Documents Anders Sandholm and Michael I. Schwartzbach BRICS, Department of Computer Science University of Aarhus, Denmark {sandholm,mis}@brics.dk Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-03-10 07:34:12 Structure Universal algebra Mathematics Formal languages Model theory
87	Local Analysis of Dynamical Systems — Concepts and Interpretation Helwig Löffelmann, Zsolt Szalavári, Eduard Gröller1 Institute of Computer Graphics, Karlsplatz, A-1040 Wien. Add to Reading List Source URL: wscg.zcu.cz Language: English - Date: 2001-06-22 10:12:50 Linear algebra Linear dynamical system Poincaré map Vector space Lyapunov stability Structural stability Chaos theory Bifurcation theory Matrix Algebra Mathematics Dynamical systems
88	Image Analysis for Face Recognition Xiaoguang Lu Dept. of Computer Science & Engineering Michigan State University, East Lansing, MI, 48824 Email: Abstract Add to Reading List Source URL: www.face-rec.org Language: English - Date: 2005-07-28 12:41:20 Abstract algebra Multivariate statistics Singular value decomposition Machine learning Eigenface Eigenvalues and eigenvectors Principal component analysis Facial recognition system Vector space Algebra Mathematics Linear algebra
89	Energy Technology Systems Analysis Programme http://www.etsap.org/tools.htm Documentation for the TIMES Model PART III April 2005 Add to Reading List Source URL: www.iea-etsap.org Language: English - Date: 2010-11-09 06:00:03 Applied mathematics Scripting languages Mathematics Mathematical optimization General Algebraic Modeling System Batch file Linear programming AMPL Spring Operations research Computer algebra systems Computing
90	PDF Document Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-21 04:05:40 Polynomials Algebraic geometry Commutative algebra Computer algebra System of polynomial equations Finite field NP Time complexity Elliptic curve only hash Abstract algebra Mathematics Algebra

UPDATE